finite closed interval

有限闭区间